extract:

fetch:
	curl https://raw.githubusercontent.com/gburdell/parser/master/src/parser/v2k/vlog.g > fetched/vlog.g
